Dict(
	[13, 8, 4, 12, 16, 1, 1, 13, 1, 1] => QQFieldElem[16, 0, 0, 0])